Krull valuation

指数赋值